首页> 外文OA文献 >Formal Verification of Correctness and Performance of Random Priority-based Arbiters

【2h】

Formal Verification of Correctness and Performance of Random Priority-based Arbiters

机译：基于随机优先级仲裁的正确性和性能的形式验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Krishnan Kailas; Viresh Paruthi; Brian Monwai;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A formal model for the analysis and verification of a pre-emptive round-robin arbiter [J] . Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana International journal of critical computer-based systems . 2018,第2期

机译：抢先式循环仲裁器的分析和验证的正式模型
2. Formal probabilistic performance verification of randomly-scheduled wireless sensor networks [J] . Maissa Elleuch, Osman Hasan, Sofiène Tahar, International journal of critical computer-based systems . 2018,第3a4期

机译：随机调度无线传感器网络的形式概率性能验证
3. Verification of Advanced High Performance Bus Arbiter using System Verilog Assertion [J] . Prince Gurha International Journal of Engineering Trends and Technology . 2016,第5期

机译：使用系统Verilog声明验证高级高性能总线仲裁器
4. Formal verification of correctness and performance of random priority-based arbiters [C] . Kailas K., Paruthi V., Monwai B. Formal Methods in Computer-Aided Design, 2009. FMCAD 2009 . 2009

机译：正式验证基于随机优先级的仲裁器的正确性和性能
5. Automated correctness condition generation for formal verification of synthesized RTL designs. [D] . Mansouri, Nazanin. 2001

机译：自动生成正确性条件，以对合成的RTL设计进行形式验证。
6. A comparison between two lingual orthodontic brackets in terms of speech performance and patients acceptance in correcting Class II Division 1 malocclusion: a randomized controlled trial [O] . Samiha Haj-Younis, Tarek Z. Khattab, Mohammad Y. Hajeer, 2016

机译：比较两个舌部正畸托架的言语表现和患者对纠正II类1分类错牙合的接受程度：一项随机对照试验
7. Formal verification of an IBM CoreConnect processor local bus arbiter core [O] . Amit Goel 2000

机译：IBm CoreConnect处理器本地总线仲裁器核心的形式验证
8. META II: Formal Co-Verification of Correctness of Large-Scale Cyber- Physical Systems During Design (Mod 0006). Volume 2. [R] . Johnson, W. 2012

机译：mETa II：设计过程中大规模网络物理系统正确性的正式联合验证（mod 0006）。第2卷。

Formal Verification of Correctness and Performance of Random Priority-based Arbiters

著录项

引文网络

相似文献

相关主题

期刊订阅